1. Computer aided verification
Author: P. Madhusudan, Sanjit A. Seshia (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses
Classification :
QA76
.
76
.
V47
C38
2012eb
